Optimal. Leaf size=114 \[ -\frac{16 i a^{11}}{3 d (a-i a \tan (c+d x))^3}+\frac{16 i a^{10}}{d (a-i a \tan (c+d x))^2}-\frac{24 i a^9}{d (a-i a \tan (c+d x))}+\frac{a^8 \tan (c+d x)}{d}+\frac{8 i a^8 \log (\cos (c+d x))}{d}-8 a^8 x \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0709375, antiderivative size = 114, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.083, Rules used = {3487, 43} \[ -\frac{16 i a^{11}}{3 d (a-i a \tan (c+d x))^3}+\frac{16 i a^{10}}{d (a-i a \tan (c+d x))^2}-\frac{24 i a^9}{d (a-i a \tan (c+d x))}+\frac{a^8 \tan (c+d x)}{d}+\frac{8 i a^8 \log (\cos (c+d x))}{d}-8 a^8 x \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3487
Rule 43
Rubi steps
\begin{align*} \int \cos ^6(c+d x) (a+i a \tan (c+d x))^8 \, dx &=-\frac{\left (i a^7\right ) \operatorname{Subst}\left (\int \frac{(a+x)^4}{(a-x)^4} \, dx,x,i a \tan (c+d x)\right )}{d}\\ &=-\frac{\left (i a^7\right ) \operatorname{Subst}\left (\int \left (1+\frac{16 a^4}{(a-x)^4}-\frac{32 a^3}{(a-x)^3}+\frac{24 a^2}{(a-x)^2}-\frac{8 a}{a-x}\right ) \, dx,x,i a \tan (c+d x)\right )}{d}\\ &=-8 a^8 x+\frac{8 i a^8 \log (\cos (c+d x))}{d}+\frac{a^8 \tan (c+d x)}{d}-\frac{16 i a^{11}}{3 d (a-i a \tan (c+d x))^3}+\frac{16 i a^{10}}{d (a-i a \tan (c+d x))^2}-\frac{24 i a^9}{d (a-i a \tan (c+d x))}\\ \end{align*}
Mathematica [B] time = 2.09391, size = 414, normalized size = 3.63 \[ -\frac{a^8 \sec (c) \sec (c+d x) (\cos (3 c+11 d x)+i \sin (3 c+11 d x)) \left (-12 i d x \sin (c+2 d x)+11 \sin (c+2 d x)-12 i d x \sin (3 c+2 d x)+14 \sin (3 c+2 d x)-12 i d x \sin (3 c+4 d x)-4 \sin (3 c+4 d x)-12 i d x \sin (5 c+4 d x)-\sin (5 c+4 d x)+12 d x \cos (3 c+2 d x)+10 i \cos (3 c+2 d x)+12 d x \cos (3 c+4 d x)-2 i \cos (3 c+4 d x)+12 d x \cos (5 c+4 d x)+i \cos (5 c+4 d x)+\cos (c+2 d x) \left (-6 i \log \left (\cos ^2(c+d x)\right )+12 d x+7 i\right )-6 i \cos (3 c+2 d x) \log \left (\cos ^2(c+d x)\right )-6 i \cos (3 c+4 d x) \log \left (\cos ^2(c+d x)\right )-6 i \cos (5 c+4 d x) \log \left (\cos ^2(c+d x)\right )-6 \sin (c+2 d x) \log \left (\cos ^2(c+d x)\right )-6 \sin (3 c+2 d x) \log \left (\cos ^2(c+d x)\right )-6 \sin (3 c+4 d x) \log \left (\cos ^2(c+d x)\right )-6 \sin (5 c+4 d x) \log \left (\cos ^2(c+d x)\right )+12 i \cos (c)\right )}{6 d (\cos (d x)+i \sin (d x))^8} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.07, size = 319, normalized size = 2.8 \begin{align*}{\frac{{a}^{8}\cos \left ( dx+c \right ) \left ( \sin \left ( dx+c \right ) \right ) ^{7}}{d}}+{\frac{8\,i{a}^{8}\ln \left ( \cos \left ( dx+c \right ) \right ) }{d}}-{\frac{35\,{a}^{8} \left ( \sin \left ( dx+c \right ) \right ) ^{3} \left ( \cos \left ( dx+c \right ) \right ) ^{3}}{3\,d}}+{\frac{{\frac{14\,i}{3}}{a}^{8} \left ( \cos \left ( dx+c \right ) \right ) ^{4}}{d}}+{\frac{{\frac{28\,i}{3}}{a}^{8} \left ( \sin \left ( dx+c \right ) \right ) ^{2} \left ( \cos \left ( dx+c \right ) \right ) ^{4}}{d}}+{\frac{2\,i{a}^{8} \left ( \sin \left ( dx+c \right ) \right ) ^{4}}{d}}+{\frac{{\frac{32\,i}{3}}{a}^{8} \left ( \sin \left ( dx+c \right ) \right ) ^{6}}{d}}-8\,{a}^{8}x+{\frac{{a}^{8} \left ( \sin \left ( dx+c \right ) \right ) ^{9}}{d\cos \left ( dx+c \right ) }}+{\frac{35\,{a}^{8}\cos \left ( dx+c \right ) \left ( \sin \left ( dx+c \right ) \right ) ^{5}}{6\,d}}+{\frac{175\,{a}^{8}\cos \left ( dx+c \right ) \left ( \sin \left ( dx+c \right ) \right ) ^{3}}{24\,d}}+{\frac{4\,i{a}^{8} \left ( \sin \left ( dx+c \right ) \right ) ^{2}}{d}}+{\frac{29\,{a}^{8} \left ( \cos \left ( dx+c \right ) \right ) ^{5}\sin \left ( dx+c \right ) }{6\,d}}-{\frac{233\,{a}^{8} \left ( \cos \left ( dx+c \right ) \right ) ^{3}\sin \left ( dx+c \right ) }{24\,d}}+{\frac{111\,{a}^{8}\sin \left ( dx+c \right ) \cos \left ( dx+c \right ) }{8\,d}}-8\,{\frac{{a}^{8}c}{d}}-{\frac{{\frac{4\,i}{3}}{a}^{8} \left ( \cos \left ( dx+c \right ) \right ) ^{6}}{d}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.63764, size = 197, normalized size = 1.73 \begin{align*} -\frac{384 \,{\left (d x + c\right )} a^{8} + 192 i \, a^{8} \log \left (\tan \left (d x + c\right )^{2} + 1\right ) - 48 \, a^{8} \tan \left (d x + c\right ) - \frac{1152 \, a^{8} \tan \left (d x + c\right )^{5} - 1920 i \, a^{8} \tan \left (d x + c\right )^{4} + 512 \, a^{8} \tan \left (d x + c\right )^{3} - 1536 i \, a^{8} \tan \left (d x + c\right )^{2} + 384 \, a^{8} \tan \left (d x + c\right ) - 640 i \, a^{8}}{\tan \left (d x + c\right )^{6} + 3 \, \tan \left (d x + c\right )^{4} + 3 \, \tan \left (d x + c\right )^{2} + 1}}{48 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.4936, size = 323, normalized size = 2.83 \begin{align*} \frac{-2 i \, a^{8} e^{\left (8 i \, d x + 8 i \, c\right )} + 4 i \, a^{8} e^{\left (6 i \, d x + 6 i \, c\right )} - 12 i \, a^{8} e^{\left (4 i \, d x + 4 i \, c\right )} - 18 i \, a^{8} e^{\left (2 i \, d x + 2 i \, c\right )} + 6 i \, a^{8} +{\left (24 i \, a^{8} e^{\left (2 i \, d x + 2 i \, c\right )} + 24 i \, a^{8}\right )} \log \left (e^{\left (2 i \, d x + 2 i \, c\right )} + 1\right )}{3 \,{\left (d e^{\left (2 i \, d x + 2 i \, c\right )} + d\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.62002, size = 144, normalized size = 1.26 \begin{align*} 12 a^{8} \left (\begin{cases} - \frac{i e^{2 i d x}}{2 d} & \text{for}\: d \neq 0 \\x & \text{otherwise} \end{cases}\right ) e^{2 i c} - 8 a^{8} \left (\begin{cases} - \frac{i e^{4 i d x}}{4 d} & \text{for}\: d \neq 0 \\x & \text{otherwise} \end{cases}\right ) e^{4 i c} + 4 a^{8} \left (\begin{cases} - \frac{i e^{6 i d x}}{6 d} & \text{for}\: d \neq 0 \\x & \text{otherwise} \end{cases}\right ) e^{6 i c} + \frac{8 i a^{8} \log{\left (e^{2 i d x} + e^{- 2 i c} \right )}}{d} + \frac{2 i a^{8} e^{- 2 i c}}{d \left (e^{2 i d x} + e^{- 2 i c}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 2.33369, size = 1079, normalized size = 9.46 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]